I use the Corcoran–Smiley interpretation of Aristotle's syllogistic as my starting point for an examination of the syllogistic from the vantage point of modern proof theory. I aim to show that fresh logical insights are afforded by a proof-theoretically more systematic account of all four figures. First I regiment the syllogisms in the Gentzen–Prawitz system of natural deduction, using the universal and existential quantifiers of standard first-order logic, and the usual formalizations of Aristotle's sentence-forms. I explain how the syllogistic is (...) a fragment of my system of Core Logic. Then I introduce my main innovation: the use of binary quantifiers, governed by introduction and elimination rules. The syllogisms in all four figures are re-proved in the binary system, and are thereby revealed as all on a par with each other. I conclude with some comments and results about grammatical generativity, ecthesis, perfect validity, skeletal validity and Aristotle's chain principle. (shrink)

This book is written so as to be ‘accessible to philosophers without a mathematical background’. The reviewer can assure the reader that this aim is achieved, even if only by focusing throughout on just one example of an arithmetical truth, namely ‘7+5=12’. This example’s familiarity will be reassuring; but its loneliness in this regard will not. Quantified propositions — even propositions of Goldbach type — are below the author’s radar.The author offers ‘a new kind of arithmetical epistemology’, one which ‘respects (...) certain important intuitions’ 1 : apriorism, realism, and empiricism. The book contains some clarification of these ‘isms’, and some thoughtful critiques of major positions regarding them, as espoused by such representative figures as Boghossian, Bealer, Peacocke, Field, Bostock, Maddy, Locke, Kant, C.I. Lewis, Ayer, Quine, Fodor, and McDowell. The philosophical reader will find some interest and value in these wider-ranging discussions. Our concern in this review, however, is to examine closely the original positive proposal on offer.Arithmetical truths, the author maintains, are conceptual truths. Knowing truths like 7+5=12 involves no ‘epistemic reliance on any empirical evidence’; but that, she says, is not to claim ‘epistemic independence of the senses altogether’. She wants to show that "experience grounds our concepts … and then mere conceptual examination enables us to learn arithmetical truths ." Concepts that are ‘appropriately sensitive’ to ‘the nature of [an independent] reality’ she calls grounded. Because of the role of grounded concepts, ‘arithmetical truths explain our arithmetical beliefs in the right sort of way for those beliefs to count as knowledge’ .In the context of her concentration on the special nature of arithmetical knowledge, the author offers what could strike some bystanders as an unnecessarily over-ambitious account of knowledge tout court. Knowledge, for the author, is "true belief which … ". (shrink)

Many prominent writers on the philosophy of logic, including Michael Dummett, Dag Prawitz, Neil Tennant, have held that the introduction and elimination rules of a logical connective must be ‘in harmony ’ if the connective is to possess a sense. This Harmony Thesis has been used to justify the choice of logic: in particular, supposed violations of it by the classical rules for negation have been the basis for arguments for switching from classical to intuitionistic logic. The Thesis (...) has also had an influence on the philosophy of language: some prominent writers in that area, notably Dummett and Robert Brandom, have taken it to be a special case of a more general requirement that the grounds for asserting a statement must cohere with its consequences. This essay considers various ways of making the Harmony Thesis precise and scrutinizes the most influential arguments for it. The verdict is negative: all the extant arguments for the Thesis are weak, and no version of it is remotely plausible. (shrink)

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to (...) be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. -/- Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. -/- However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. -/- The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion. (shrink)

In this paper we sketch a new version of aesthetic expressivism. We argue that one advantage of this view is that it explains various putative norms on the formation and revision of aesthetic judgement. We begin by setting out our proposed explananda and a sense in which they can be understood as governing the correct response to putative higher-order evidence in aesthetics. We then summarise some existing discussions of expressivist attempts to explain these norms, and objections raised to them. This (...) will allow us to identify the pitfalls that a good expressivist explanation needs to avoid. Finally, we sketch our preferred version of aesthetic expressivism which includes as a crucial part a hypothesis concerning the distinctive expressive function of aesthetic practice. We then consider how this theory can explain the putative aesthetic norms whilst avoiding the previous objections. (shrink)

The rightness and wrongness of actions fits on a continuous scale. This fits the way we evaluate actions chosen among a diverse range of options, even though English speakers don’t use the words “righter” and “wronger”. I outline and defend a version of scalar consequentialism, according to which rightness is a matter of degree, determined by how good the consequences are. Linguistic resources are available to let us truly describe actions simply as right. Some deontological theories face problems in accounting (...) for degrees of rightness, as they don't invoke continuous parameters among the right-making features of action. (shrink)

This essay defends a strong version of the Humean theory of motivation on which desire is necessary both for motivation and for reasoning that changes our desires. Those who hold that moral judgments are beliefs with intrinsic motivational force need to oppose this view, and many of them have proposed counterexamples to it. Using a novel account of desire, this essay handles the proposed counterexamples in a way that shows the superiority of the Humean theory. The essay addresses the classic (...) objection that the Humean theory cannot explain the feeling of obligation, Stephen Darwall's example of motivationally potent reasoning that is not based on preexisting desires, Thomas Scanlon's criticism that the Humean theory fails to account for the structure and phenomenology of deliberation, and the phenomenon of akrasia as discussed by John Searle. In each case a Humean account explains the data at least as thoroughly as opposing views can, while fitting within a simpler total account of how we deliberate and act. (shrink)

Pietro Gori dedicates Nietzsche’s Pragmatism “To the wanderers and Good Europeans,” and Anglophone wanderers into Sarah de Sanctis’s translation will indeed find good European Nietzsche scholarship. The table of contents is a helpful map of the book, with five chapters consisting of twenty-eight sections on a sequence of philosophical and interpretive topics. Perspectival thought, addressed in the subtitle, is the explicit topic of the third chapter. Pragmatism, mentioned in the title, is the explicit topic of the fifth and final chapter. (...) While both topics also are discussed in many other places, the overall focus is on Nietzsche’s views of epistemology and truth.The first chapter discusses Nietzsche’s views of... (shrink)

A pervasive thought in contemporary philosophy of mathematics is that in order to justify reflection principles, one must hold universism: the view that there is a single universe of pure sets. I challenge this kind of reasoning by contrasting universism with a Zermelian form of multiversism. I argue that if extant justifications of reflection principles using notions of richness are acceptable for the universist, then the Zermelian can use similar justifications. However, I note that for some forms of richness argument, (...) the status of reflection principles as axioms is left open for the Zermelian. (shrink)

Recent work in neuroimaging suggests that some patients diagnosed as being in the persistent vegetative state are actually conscious. In this paper, we critically examine this new evidence. We argue that though it remains open to alternative interpretations, it strongly suggests the presence of consciousness in some patients. However, we argue that its ethical significance is less than many people seem to think. There are several different kinds of consciousness, and though all kinds of consciousness have some ethical significance, different (...) kinds underwrite different kinds of moral value. Demonstrating that patients have phenomenal consciousness — conscious states with some kind of qualitative feel to them — shows that they are moral patients, whose welfare must be taken into consideration. But only if they are subjects of a sophisticated kind of access consciousness — where access consciousness entails global availability of information to cognitive systems — are they persons, in the technical sense of the word employed by philosophers. In this sense, being a person is having the full moral status of ordinary human beings. We call for further research which might settle whether patients who manifest signs of consciousness possess the sophisticated kind of access consciousness required for personhood. (shrink)

I argue that one intends that ϕ if one has a desire that ϕ and an appropriately related means-end belief. Opponents, including Setiya and Bratman, charge that this view can't explain three things. First, intentional action is accompanied by knowledge of what we are doing. Second, we can choose our reasons for action. Third, forming an intention settles a deliberative question about what to do, disposing us to cease deliberating about it. I show how the desire- belief view can explain (...) why these phenomena occur when they occur, and why they don't when they don't. (shrink)

A number of concerns have been raised about the possible future use of pharmaceuticals designed to enhance cognitive, affective, and motivational processes, particularly where the aim is to produce morally better decisions or behavior. In this article, we draw attention to what is arguably a more worrying possibility: that pharmaceuticals currently in widespread therapeutic use are already having unintended effects on these processes, and thus on moral decision making and morally significant behavior. We review current evidence on the moral effects (...) of three widely used drugs or drug types: propranolol, selective serotonin reuptake inhibitors, and drugs that effect oxytocin physiology. This evidence suggests that the alterations to moral decision making and behavior caused by these agents may have important and difficult-to-evaluate consequences, at least at the population level. We argue that the moral effects of these and other widely used pharmaceuticals warrant further empirical research and ethical analysis. (shrink)

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often forcing constructions that add subsets to models are cited as evidence in favour of the latter. This paper informs this debate by analysing ways the Universist might interpret this discourse that seems (...) to necessitate the addition of subsets to V. We argue that despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We analyse extant interpretations of such talk, and analyse various tradeoffs in naturality that might be made. We conclude that the Universist has promising options for interpreting different forcing constructions. (shrink)

How does our language relate to reality? This is a question that is especially pertinent in set theory, where we seem to talk of large infinite entities. Based on an analogy with the use of models in the natural sciences, we argue for a threefold correspondence between our language, models, and reality. We argue that so conceived, the existence of models can be underwritten by a weak notion of existence, where weak existence is to be understood as existing in virtue (...) of language. (shrink)

In “The Evolutionary Debunking of Quasi-Realism,” Neil Sinclair and James Chamberlain present a novel answer that quasi-realists can pro-vide to a version of the reliability challenge in ethics—which asks for an explanation of why our moral beliefs are generally true—and in so doing, they examine whether evolutionary arguments can debunk quasi-realism. Although reliability challenges differ from EDAs in several respects, there may well be a connection between them. For the explanatory premise of an EDA may state that a particular (...) theory of beliefs of a certain kind does not, or cannot, provide a plausible account of why those beliefs might be generally true, and its epistemic premise may state that, if that is the case, then the beliefs in question have a negative epistemic status or the theory is false inasmuch as, if it were true, it would lead to those beliefs having such a negative epistemic status. The quasi-realist can answer the reli-ability challenge by claiming that, when we form our moral beliefs through a process of well-informed impartial reflection, we form them in response to the non-moral features of things on which depend the moral features they have. Hence, when we form beliefs by means of such a process, we are most likely forming true moral beliefs. (shrink)

Ethical reductionism is the best version of naturalistic moral realism. Reductionists regard moral properties as identical to properties appearing in successful scientific theories. Nonreductionists, including many of the Cornell Realists, argue that moral properties instead supervene on scientific properties without identity. I respond to two arguments for nonreductionism. First, nonreductionists argue that the multiple realizability of moral properties defeats reductionism. Multiple realizability can be addressed in ethics by identifying moral properties uniquely or disjunctively with properties of the special sciences. Second, (...) nonreductionists argue that irreducible moral properties explain empirical phenomena, just as irreducible special-science properties do. But since irreducible moral properties don't successfully explain additional regularities, they run the risk of being pseudoscientific properties. Reductionism has all the benefits of nonreductionism, while also being more secure against anti-realist objections because of its ontological simplicity. (shrink)

The moral belief problem is that of reconciling expressivism in ethics with both minimalism in the philosophy of language and the syntactic discipline of moral sentences. It is argued that the problem can be solved by distinguishing minimal and robust senses of belief, where a minimal belief is any state of mind expressed by sincere assertoric use of a syntactically disciplined sentence and a robust belief is a minimal belief with some additional property R. Two attempts to specify R are (...) discussed, both based on the thought that beliefs are states that aim at truth. According to the first, robust beliefs are criticisable to the extent that their content fails to match the state of the world. This sense fails to distinguish robust beliefs from minimal beliefs. According to the second, robust beliefs function to have their content match the state of the world. This sense succeeds in distinguishing robust beliefs from minimal beliefs. The conclusion is that the debate concerning the cognitive status of moral convictions needs to address the issue of the function of moral convictions. Evolutionary theorising may be relevant, but will not be decisive, in answering this question. (shrink)

Zero provides a challenge for philosophers of mathematics with realist inclinations. On the one hand it is a bona fide cardinal number, yet on the other it is linked to ideas of nothingness and non-being. This paper provides an analysis of the epistemology and metaphysics of zero. We develop several constraints and then argue that a satisfactory account of zero can be obtained by integrating an account of numbers as properties of collections, work on the philosophy of absences, and recent (...) work in numerical cognition and ontogenetic studies. (shrink)

In the contemporary philosophy of set theory, discussion of new axioms that purport to resolve independence necessitates an explanation of how they come to be justified. Ordinarily, justification is divided into two broad kinds: intrinsic justification relates to how `intuitively plausible' an axiom is, whereas extrinsic justification supports an axiom by identifying certain `desirable' consequences. This paper puts pressure on how this distinction is formulated and construed. In particular, we argue that the distinction as often presented is neither well-demarcated nor (...) sufficiently precise. Instead, we suggest that the process of justification in set theory should not be thought of as neatly divisible in this way, but should rather be understood as a conceptually indivisible notion linked to the goal of explanation. (shrink)

In this paper I argue that the explanationist argument in favour of moral realism fails. According to this argument, the ability of putative moral properties to feature in good explanations provides strong evidence for, or entails, the metaphysical claims of moral realism. Some have rejected this argument by denying that moral explanations are ever good explanations. My criticism is different. I argue that even if we accept that moral explanations are (sometimes) good explanations the metaphysical claims of realism do not (...) follow. (shrink)

In this paper I grant the Humean premise that some reasons for action are grounded in the desires of the agents whose reasons they are. I then consider the question of the relation between the reasons and the desires that ground them. According to promotionalism , a desire that p grounds a reason to φ insofar as A’s φing helps promote p . According to motivationalism a desire that p grounds a reason to φ insofar as it explains why, in (...) certain circumstances, A would be motivated to φ. I then give an argument favouring motivationalism, namely that promotionalism entails that agents have reasons to perform physically impossible actions, whereas motivationalism entails that there are no such reasons. Although this is a version of the ‘Too Many Reasons’ objection to promotionalism, I show that existing responses to that problem do not transfer to the case of reasons to perform physically impossible actions. In the penultimate section I consider and reject some objections to motivationalism made by promotionalists. The conclusion is that Humeans about reasons for action should prefer motivationalism. (shrink)

Consider two deeply appealing thoughts: first, that we experience external particulars, and second, that what it’s like to have an experience – the phenomenal character of an experience – is somehow independent of external particulars. The first thought is readily captured by phenomenal particularism, the view that external particulars are sometimes part of the phenomenal character of experience. The second thought is readily captured by phenomenal generalism, the view that external particulars are never part of phenomenal character. -/- Here I (...) show that a novel version of phenomenal generalism can capture both thoughts in a satisfying fashion. Along the way, I reveal severe problems facing phenomenal particularism and also shed light on the mental kinds under which experiences fall. (shrink)

The identity theory, advocated as a solution to the mind-body problem by materialists such as Feigl and Smart, has been criticized for implying the existence of irreducible properties. After summarizing the relevant theses of materialism, I consider several versions of the irreducible properties objection, and argue that they are all unsuccessful.

In Thus Spoke Zarathustra, Nietzsche presents passion as constituting human agency. He encountered this Humean view in Schopenhauer, and recognized its explanatory advantages over Platonic and Kantian rationalism. Zarathustra's poetic speeches anticipate and address contemporary objections to the view that passion constitutes agency. "On the Despisers of the Body" explains why understanding the self as constituted by passion provides better explanations of reasoning, value judgment, and the unity of the self than Christine Korsgaard's neo-Kantian view. "On Enjoying and Suffering the (...) Passions" explains why understanding virtues as constituted by passions provides a better explanation of moral phenomenology than John McDowell's rationalism. (shrink)

John McDowell claims that virtuous people recognize moral reasons using a perceptual capacity that doesn't include desire. I show that the phenomena he cites are better explained if desire makes us see considerations favoring its satisfaction as reasons. The salience of moral considerations to the virtuous, like the salience of food to the hungry, exemplifies the emotional and attentional effects of desire. I offer a desire-based account of how we can follow uncodifiable rules of common-sense morality and how some reasons (...) can be silenced in deliberation. I conclude by arguing that animals can be virtuous by having the right desires. (shrink)

This paper argues that a counterpart-theoretic treatment of events, combined with a counterfactual theory of causation, can help resolve three puzzles from the causation literature. First, CCT traces the apparent contextual shifts in our causal attributions to shifts in the counterpart relation which obtains in those contexts. Second, being sensitive to shifts in the counterpart relation can help diagnose what goes wrong in certain prominent examples where the transitivity of causation appears to fail. Third, CCT can help us resurrect the (...) much-maligned fragility response to the problems of late pre-emption by understanding fragility in counterpart-theoretic terms. Some reasons to prefer this CCT approach to rivals are discussed. (shrink)

In this paper I argue that the common practice of employing moral predicates as explaining phrases can be accommodated on an expressivist account of moral practice. This account does not treat moral explanations as in any way second-rate or derivative, since it subsumes moral explanations under the general theory of program explanations (as defended by Jackson and Pettit). It follows that the phenomenon of moral explanations cannot be used to adjudicate the debate between expressivism and its rivals.

Moral discourse is propositionally clothed, that is, it exhibits those features – such as the ability of its sentences to intelligibly embed in conditionals and other unasserted contexts – that have been taken by some philosophers to be constitutive of discourses that express propositions. If there is nothing more to a mental state being a belief than it being characteristically expressed by sentences that are propositionally clothed then the version of expressivism which accepts that moral discourse is propositionally clothed (‘quasi-realism’) (...) is self-refuting. Fortunately for quasi-realists, this view of belief, which I label ‘minimalism’, is false. I present three arguments against it and dismiss two possible defences (the first drawn from the work of Wright, the second given by Harcourt). The conclusion is that the issue between expressivists and their opponents cannot be settled by the mere fact that moral discourse wears propositional clothing. (shrink)

Parents play a critical role in their child’s personal development and day-to-day experiences. However, as digital technologies are increasingly embedded in most New Zealand children’s everyday life activities parents face the task of ensuring their child’s online safety. To do so, they need to understand the way their child engages with and through these tools and make sense of the rapidly changing, and more technically complex, nature of digital devices. This presents a digital parenting dilemma: maximising children’s online opportunities while (...) minimising online risks and potential harm. This factsheet presents evidence about digital parenting in New Zealand based on nationally representative data collected from parents, caregivers and whānau and their children aged 9-17. It uses measures from the Global Kids Online project to explore the prevalence of different practices used by New Zealand parents to influence or mediate children’s internet use. (shrink)

Many expressivists have employed a claim about the practicality of morality in support of their view that moral convictions are not purely descriptive mental states. In this paper I argue that all extant arguments of this form fail. I distinguish several versions of such arguments and argue that in each case either the sense of practicality the argument employs is too weak, in which case there is no reason to think that descriptive states cannot be practical or the sense of (...) practicality the argument employs is too strong, in which case there is no reason to think moral convictions are practical. I also discuss and dismiss an attempted patch of such arguments provided by Humean Psychology. The conclusion is that expressivists need to look to sources other than the alleged practicality of morality to support their position. In concluding remarks I suggest one such alternative. (shrink)

We introduce and consider the inner-model reflection principle, which asserts that whenever a statement \varphi(a) in the first-order language of set theory is true in the set-theoretic universe V, then it is also true in a proper inner model W \subset A. A stronger principle, the ground-model reflection principle, asserts that any such \varphi(a) true in V is also true in some non-trivial ground model of the universe with respect to set forcing. These principles each express a form of width (...) reflection in contrast to the usual height reflection of the Lévy–Montague reflection theorem. They are each equiconsistent with ZFC and indeed \Pi_2-conservative over ZFC, being forceable by class forcing while preserving any desired rank-initial segment of the universe. Furthermore, the inner-model reflection principle is a consequence of the existence of sufficient large cardinals, and lightface formulations of the reflection principles follow from the maximality principle MP and from the inner-model hypothesis IMH. We also consider some questions concerning the expressibility of the principles. (shrink)

We can infer moral conclusions from nonmoral evidence using a three-step procedure. First, we distinguish the processes generating belief so that their reliability in generating true belief is statistically predictable. Second, we assess the processes’ reliability, perhaps by observing how frequently they generate true nonmoral belief or logically inconsistent beliefs. Third, we adjust our credence in moral propositions in light of the truth ratios of the processes generating beliefs in them. This inferential route involves empirically discovering truths of the form (...) “Process P, which generates belief in moral proposition M, has truth ratio T", and using them to discover probabilities for moral propositions. The inferential route is noncircular, and progress along it is driven fundamentally by induction. (shrink)

Bayesian models of legal arguments generally aim to produce a single integrated model, combining each of the legal arguments under consideration. This combined approach implicitly assumes that variables and their relationships can be represented without any contradiction or misalignment, and in a way that makes sense with respect to the competing argument narratives. This paper describes a novel approach to compare and ‘average’ Bayesian models of legal arguments that have been built independently and with no attempt to make them consistent (...) in terms of variables, causal assumptions or parameterization. The approach involves assessing whether competing models of legal arguments are explained or predict facts uncovered before or during the trial process. Those models that are more heavily disconfirmed by the facts are given lower weight, as model plausibility measures, in the Bayesian model comparison and averaging framework adopted. In this way a plurality of arguments is allowed yet a single judgement based on all arguments is possible and rational. (shrink)

A long tradition in theology holds that the divine is in some sense incomprehensible, ineffable, or indescribable. This is mirrored in the set-theoretic literature by those who hold that the universe of sets is incomprehensible, ineffable, or indescribable. In this latter field, set theorists often study reflection principles; axioms that posit indescribability properties of the universe. This paper seeks to examine a theological reflection principle, which can be used to deliver a very rich ontology. I argue that in analogy with (...) set-theoretic reflection principles, we should understand theological reflection via schematic commitment. (shrink)

I provide an examination and comparison of modal theories for underwriting different non-modal theories of sets. I argue that there is a respect in which the `standard' modal theory for set construction---on which sets are formed via the successive individuation of powersets---raises a significant challenge for some recently proposed `countabilist' modal theories (i.e. ones that imply that every set is countable). I examine how the countabilist can respond to this issue via the use of regularity axioms and raise some questions (...) about this approach. I argue that by comparing them with the `standard' uncountabilist theory, a new approach that brings in arbitrariness rather than the strict controls of forcing is desirable. (shrink)

In this paper I draw apart two different contexts of Freirean pedagogical practice that I label interactional and institutional. The interactional refers to the immediate learning environment with relation to the interaction between the students and the teacher. In contrast, the institutional refers to how the institutions of education are managed, constructed, and organised and how they relate to the individuals those institutions are composed of. I begin by presenting a brief overview of Freire’s argument in favour of a revolutionary (...) pedagogy. I then highlight how this project is represented at both interactional and institutional levels with a particular focus upon the practice of the revolutionary leaders and their role in the development of the humanisation of the oppressed. In presenting the interactional and institutional elements of Freire’s pedagogy separately the tension between the individual and the state is made plain and the limitations of his politico-educational project are drawn out. I argue that due to an inconsistent application of the relationship between means and ends in Freire’s politico-educational project an incoherence between the interactional and institutional levels of education is highlighted. In responding to this limitation of Freire’s politico-educational project with a thoroughly interconnected relationship of means and ends I show that there remains a necessary conflict between the interests of the individual and the state. As a result of this a door is opened for the development of an argument in favour of the disestablishment of education and state from a Freirean perspective. (shrink)

Literary studies are living a nomadic existence on the margins of the neoliberal university, forced to adapt to the needs of more profitable disciplines and the insidious marketization of higher education to find an intellectual home. By drawing on Rosi Braidotti’s nomadic theory, this article situates the current state of literary studies in the wider networks of power relations that differentially distribute nomadic experiences in the contemporary world. The article begins with an examination of the contradictions of nomadic mobility in (...) the era of globalized capitalism and how these contradictions interrelate with the study of world literature. The second half of the article focuses on the transformation of labor under neoliberalism, charting the rise of cognitive capitalism and its relationship to the university. While the future of literary studies might look precarious in the era of cognitive capitalism, the increasing casualization of intellectual labor creates the conditions for unstructured, unrestrained, and deterritorialized flows of thought that escape the constraints placed on those in the institution. By harnessing literature’s subversive potential, literary studies can use these nomadic flows of thought to resist the operating principles of the neoliberal university and help combat the conditions that create precarious nomadic experiences across the globe. (shrink)

Set-theoretic and category-theoretic foundations represent different perspectives on mathematical subject matter. In particular, category-theoretic language focusses on properties that can be determined up to isomorphism within a category, whereas set theory admits of properties determined by the internal structure of the membership relation. Various objections have been raised against this aspect of set theory in the category-theoretic literature. In this article, we advocate a methodological pluralism concerning the two foundational languages, and provide a theory that fruitfully interrelates a `structural' perspective (...) to a set-theoretic one. We present a set-theoretic system that is able to talk about structures more naturally, and argue that it provides an important perspective on plausibly structural properties such as cardinality. We conclude the language of set theory can provide useful information about the notion of mathematical structure. (shrink)

I defend ethical hedonism, the view that pleasure is the sole good thing, by arguing that it offers the only answer to an argument for moral skepticism. The skeptical problem arises from widespread fundamental moral disagreement, which entails the presence of enough moral error to undermine the reliability of most processes generating moral belief. We know that pleasure is good through the reliable process of phenomenal introspection, which reveals what our experiences are like. If knowing of pleasure’s goodness through phenomenal (...) introspection is the only reliable way to form our initial moral beliefs, we should accept ethical hedonism. (shrink)

Most philosophers believe that wrongdoers sometimes deserve to be punished by long prison sentences. They also believe that such punishments are justified by their consequences: they deter crime and incapacitate potential offenders. In this article, I argue that both these claims are false. No one deserves to be punished, I argue, because our actions are shot through with direct or indirect luck. I also argue that there are good reasons to think that punishing fewer people and much less harshly will (...) have better social consequences, at a reduced overall cost, then the long prison sentences that are usually seen as required for social protection. (shrink)

I argue that the Doctrine of Double Effect is accepted because of unreliable processes of belief-formation, making it unacceptably likely to be mistaken. We accept the doctrine because we more vividly imagine intended consequences of our actions than merely foreseen ones, making our aversions to the intended harms more violent, and making us judge that producing the intended harms is morally worse. This explanation fits psychological evidence from Schnall and others, and recent neuroscientific research from Greene, Klein, Kahane, and Schaich (...) Borg. It explains Mikhail and Hauser’s “universal moral grammar” and an interesting phenomenon about Double Effect cases noted by Bennett. When unequally vivid representations determine our decisions, we typically misjudge the merits of our options and make mistakes. So if Double Effect is a product of unequal vividness, it is likely to be mistaken. This argument, I claim, fits Berker’s specifications for good empirically grounded arguments in ethics. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Hume Studies Volume 31, Number 1, April 2005, pp. 123-144 Laws Not Men: Hume's Distinction between Barbarous and Civilized Government NEIL McARTHUR 1. Introduction Hume uses the adjectives "civilized" and "barbarous" in a variety of ways, and in a variety of contexts. He employs them to describe individuals, societies, historical eras, and forms of government. These various uses are closely related. Hume thinks that cultural and political development (...) are intimately connected, and are mutually dependent. Civilized government goes together with civilized society. A wise ruler cannot emerge before "refinements have taken place" in the society at large and "science [becomes] known in the world." At the same time, the policy of a monarch who is "ignorant and uninstructed... for ever prevents all improvements."1 This intimate connection, however, is not an identification. A civilized government is not simply that which produces, or results from, a civilized society. When discussing forms of government, Hume uses the terms "barbarous" and "civilized" consistently and somewhat narrowly, to describe governments that possess certain specific characteristics. It is striking that these characteristics are explicitly divorced from the abilities or characters of the rulers. While a nation requires wise and refined leadership to achieve its civilized status, Hume thinks it is a crucial feature of civilized government that, once established, it depends Neil McArthur is at the University of Manitoba, Winnipeg, Manitoba R3T 2M8, Canada, e-mail: [email protected] 124 Neil McArthur entirely on its institutional structure, and not on the talents or intentions of any individual or group. To understand Hume's distinction between these two kinds of government, it is useful to abstract away from his discussion of more general issues of cultural development, and to lay temporarily aside the causal question of what social and economic conditions are necessary to produce a civilized government. I propose to explain Hume's concepts of barbarous and civilized government just in terms of the institutional characteristics possessed by each. Hume's choice of adjectives is not, of course, accidental. The complex causal questions of how a civilized government comes about, and what is its relation to civilized society, are large and important ones. However, 1 do not propose to take them up here.2 The crucial feature dividing civilized and barbarous government is their relation to law. In his essay "Of Civil Liberty" Hume says: "It may now be affirmed of civilized monarchies, what was formerly said in praise of republics alone, that they are a government of Laws, not of Men."3 "Barbarous government" are thus "governments of men"—he also calls them governments "of will."4 Scholars of Hume's political theory have noted the importance of the rule of law in defining "civilized government. "5 However, they have not made clear precisely what Hume thinks precisely defines a "government of laws. " I submit that such a government must (for Hume) possess three characteristics. It must have: 1. A clear separation between the legislative and magisterial "powers" of the state; 2. A rigid subordination of the magisterial to the legislative power, such that the "discretion" of magistrates is restricted by "general laws"; 3. Self-sufficient laws and institutions, such that they are able to operate regardless of the intentions or abilities of individual rulers or officeholders. To this end, a government of laws must possess fixed rules governing the succession of officers, including (in a civilized monarchy) succession to the throne. Hume thinks specific governments may meet these criteria to varying degrees through time (with regression also possible). His use of the term "civilized government" nevertheless implies that it exists as a distinct, and achievable, ideal. An examination of Hume's theory of civilized government shows his understanding of the rule of law to be more subtle and complex than has previously been acknowledged. Hume moves beyond traditional Whig panegyrics on the rule of show to show how the law must operate if it is to protect people from oppression in the local theatres in which it is most acute. He articulates a theory of "civilized monarchy" that provides a middle path between republican and absolutist theories of government, and that is consistent his philosophy as a whole. Hume Studies Laws... (shrink)

Basic Formal Ontology (BFO) is a top-level ontology consisting of thirty-six classes, designed to support information integration, retrieval, and analysis across all domains of scientific investigation, presently employed in over 350 ontology projects around the world. BFO is a genuine top-level ontology, containing no terms particular to material domains, such as physics, medicine, or psychology. In this paper, we demonstrate how a series of cases illustrating common types of change may be represented by universals, defined classes, and relations employing the (...) BFO framework. We provide discussion of these cases to provide a template for other ontologists using BFO, as well as to facilitate comparison with the strategies proposed by ontologists using different top-level ontologies. (shrink)

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often model-theoretic constructions that add sets to models are cited as evidence in favour of the latter. This paper informs this debate by developing a way for a Universist to interpret talk that (...) seems to necessitate the addition of sets to V. We argue that, despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We present a method of interpreting extension-talk (V-logic), and show how it captures satisfaction in `ideal' outer models and relates to impredicative class theories. We provide some reasons to regard the technique as philosophically virtuous, and argue that it opens new doors to philosophical and mathematical discussions for the Universist. (shrink)

In this article, I survey some philosophical attitudes to talk concerning `the' universe of sets. I separate out four different strands of the debate, namely: (i) Universism, (ii) Multiversism, (iii) Potentialism, and (iv) Pluralism. I discuss standard arguments and counterarguments concerning the positions and some of the natural mathematical programmes that are suggested by the various views.

David Hume’s legal theory has normally been interpreted as bearing close affinities to the English common law theory of jurisprudence. I argue that this is not accurate. For Hume, it is the nature and functioning of a country’s legal system, not the provenance of that system, that provides the foundation of its authority. He judges government by its ability to protect property in a reliable and equitable way. His positions on the role of equity in the law, on artificial reason (...) and the esoteric nature of the law, and on the role of judges in the legal system are all at odds with those of the common lawyers. (shrink)

Causal theories of action, perception and knowledge are each beset by problems of so-called ‘deviant’ causal chains. For each such theory, counterexamples are formed using odd or co-incidental causal chains to establish that the theory is committed to unpalatable claims about some intentional action, about a case of veridical perception or about the acquisition of genuine knowledge. In this paper I will argue that three well-known examples of a deviant causal chain have something in common: they each violate Yablos proportionality (...) constraint on causation. I will argue that this constraint provides the key to saving causal theories from deviant chains. (shrink)

Let mathematical justification be the kind of justification obtained when a mathematician provides a proof of a theorem. Are Gettier cases possible for this kind of justification? At first sight we might think not: The standard for mathematical justification is proof and, since proof is bound at the hip with truth, there is no possibility of having an epistemically lucky justification of a true mathematical proposition. In this paper, I argue that Gettier cases are possible (and indeed actual) in mathematical (...) reasoning. By analysing these cases, I suggest that the Gettier phenomenon indicates some upshots for actual mathematical practice. (shrink)

Informal rigour is the process by which we come to understand particular mathematical structures and then manifest this rigour through axiomatisations. Structural relativity is the idea that the kinds of structures we isolate are dependent upon the logic we employ. We bring together these ideas by considering the level of informal rigour exhibited by our set-theoretic discourse, and argue that different foundational programmes should countenance different underlying logics (intermediate between first- and second-order) for formulating set theory. By bringing considerations of (...) perturbations in modal space to bear on the debate, we will suggest that a promising option for representing current set-theoretic thought is given by formulating set theory using quasi-weak second-order logic. These observations indicate that the usual division of structures into \particular (e.g. the natural number structure) and general (e.g. the group structure) is perhaps too coarse grained; we should also make a distinction between intentionally and unintentionally general structures. (shrink)

I argue that psychology and epistemology should posit distinct cognitive attitudes of religious credence and factual belief, which have different etiologies and different cognitive and behavioral effects. I support this claim by presenting a range of empirical evidence that religious cognitive attitudes tend to lack properties characteristic of factual belief, just as attitudes like hypothesis, fictional imagining, and assumption for the sake of argument generally lack such properties. Furthermore, religious credences have distinctive properties of their own. To summarize: factual beliefs (...) are practical setting independent, cognitively govern other attitudes, and are evidentially vulnerable. By way of contrast, religious credences have perceived normative orientation, are susceptible to free elaboration, and are vulnerable to special authority. This theory provides a framework for future research in the epistemology and psychology of religious credence. (shrink)